Enabling Preserving Bisimulation Equivalence

Most fairness assumptions used for verifying liveness properties are criticised for being too strong or unrealistic. On the other hand, justness, arguably the minimal fairness assumption required for the verification of liveness properties, is not preserved by classical semantic equivalences, such as strong bisimilarity. To overcome this deficiency, we introduce a finer alternative to strong bisimilarity, called enabling preserving bisimilarity. We prove that this equivalence is justness-preserving and a congruence for all standard operators, including parallel composition

Exploration of sleep function connection and classification strategies based on sub-period sleep stages

BackgroundAs a medium for developing brain-computer interface systems, EEG signals are complex and difficult to identify due to their complexity, weakness, and differences between subjects. At present, most of the current research on sleep EEG signals are single-channel and dual-channel, ignoring the research on the relationship between different brain regions. Brain functional connectivity is considered to be closely related to brain activity and can be used to study the interaction relationship between brain areas.MethodsPhase-locked value (PLV) is used to construct a functional connection network. The connection network is used to analyze the connection mechanism and brain interaction in different sleep stages. Firstly, the entire EEG signal is divided into multiple sub-periods. Secondly, Phase-locked value is used for feature extraction on the sub-periods. Thirdly, the PLV of multiple sub-periods is used for feature fusion. Fourthly, the classification performance optimization strategy is used to discuss the impact of different frequency bands on sleep stage classification performance and to find the optimal frequency band. Finally, the brain function network is constructed by using the average value of the fusion features to analyze the interaction of brain regions in different frequency bands during sleep stages.ResultsThe experimental results have shown that when the number of sub-periods is 30, the α (8–13 Hz) frequency band has the best classification effect, The classification result after 10-fold cross-validation reaches 92.59%.ConclusionThe proposed algorithm has good sleep staging performance, which can effectively promote the development and application of an EEG sleep staging system

Single-Crystal Aln Nanonecklaces

Distinct single-crystal aluminum nitride nanonecklaces with uniform faceted beads are synthesized via catalyst-assisted nitriding of Al. The detailed morphology and structure of the nanonecklaces have been characterized. The growth process has been investigated by comparing the products obtained at different synthesis times. The results reveal that the formation of the nanonecklaces is via a process consisting of facet formation and bead unification. The formation of the facets is due to the presence of a liquid phase that lowers the surface tension of otherwise high-energy planes. The bead unification is driven by minimizing the energy contributed by surface energy and electrostatic energy. The unique morphology of the nanonecklaces could be useful for studying fundamental physical phenomena and fabricating nanodevices. © IOP Publishing Ltd

Strategies for Construction of Sustainable Development Experimental Zone in Fumian District, Yulin City

From strengthening the construction of an innovation system, adhering to the green development model of the industry, advancing the rural revitalization strategy, strengthening the protection and inheritance of cultural heritage, accelerating the development of social undertakings, and expanding the space for regional cooperation, this paper discusses the strategies for the construction of sustainable development experimental zone in Fumian District, Yulin City. It is intended to build Fumian District into a vibrant, economically prosperous, urban and rural integrated, characteristic cultural, safe and harmonious, inclusive and open district

Hollow Alumina Microsphere Chain Networks

Hollow Al2O3 microsphere chain networks have been synthesized via a simple two-staged pyrolysis of a precursor using active carbon powders as the template. The obtained networks are characterized using scanning electron microscopy, X-ray diffraction, and transmission electron microscopy. The chain networks are formed by subsequent aggregation of the prior formed hollow Al2O3 microspheres. The obtained chain networks are promising for the applications in catalyst support, filtration, and other applications due to their lightweight and highly porous nature. © 2008 The American Ceramic Society

Morphology Instability Of Silicon Nitride Nanowires

We report that cylinder-shaped Si 3N 4 nanowires are not stable and can gradually transform into nanobelts via surface diffusion during high-temperature annealing. We demonstrate that such instability is driven by the requirements for reducing overall surface energy. The resultant nanobelts have the same width-to-thickness ratio, suggesting a stable morphology. A model in terms of surface energy is proposed to explain the formation of such stable morphology, which agrees well with experimental results. Our result suggests that instability could be a limiting factor for high-temperature applications of 1D nanostructures. © 2009 American Chemical Society